Reduced-order Kalman filtering for state constrained linear systems

This paper aims at solving the state filtering problem for linear systems with state constraints. Three classes of typical state constraints, i.e., linear equality, quadratic equality and inequality, are discussed. By using the linear relationships among different state variables, a reduced-order Kalman filter is derived for the system with linear equality constraints. Afterwards, such a solution is applied to the cases of the quadratic equality constraint and inequality constraints and the two constrained state filtering problems are transformed into two relative constrained optimization problems. Then they are solved by the Lagrangian multiplier and linear matrix inequality techniques, respectively. Finally, two simple tracking examples are provided to illustrate the effectiveness of the reduced-order filters.     

多分支多部件水下拖曳系统运动仿真

针对多分支多部件的水下拖曳系统特点,构造了杆和质点组成的通用力学结构;基于虚功原理建立系统动力学仿真模型;以仿真约束力处理浮体在水面的单双侧混合约束问题,避免了约束方程带来的复杂性。对典型系统的动态过程仿真结果表明,该模型可以获得系统的动态过程,正常收敛于稳态位置,浮体的水面约束与下沉过程均符合实际情况。     

归纳极限的半自反性

本文主要讨论了一族半自反局部凸分离空间{Xn}n∈N的归纳极限X,如果X是正则的,且(Xn,Tn)'=(Xn,Tn+1|Xn)'((∨)n∈N),则X也是半自反的.并研究了归纳极限的序列完备与自反的关系.     

协同设计中约束信息的可视化映射研究

文章通过对约束信息的归类和分析,提出了约束信息可视化的映射方法,包括可视化结构映射、可视化空间映射、可视化元素映射及可视化属性映射4个步骤,分别分析了4个步骤实现方法及一般准则,采用协同设计中的层次约束、任务约束、部件约束为实例,实现了由约束信息到可视化方式的映射,并给出了映射的可视化结果.     

Minimal feasible sets in variable resource constrained projects

To determine the reasonable resource dependent relations between activities for the purpose of exactly computing the total floats and the free floats of activities, correctly identifying critical activities and critical sequences in a project schedule with variable resource constraints, the concept of the minimal feasible set (MFS) is proposed and the properties of MFS are discussed. The methods to identify optimal MFSs and resource links are then studied. Furthermore, MFS is generalized to the situation that the preconditions of MFS are not satisfied. Contrastive results show that in establishing resource links and resolving floats, MFS is at least not inferior to other methods in all cases and is superior in most situations.     

用于处理等式约束的网格法

提出了一种利用可变容差准则的概念，首先搜索出在等式约束条件下的可行域，再用网格法求出最优解。利用这种算法使网格法更广泛地适用于求解带有等式约束的一般工程问题的优化设计     

工频感应炉PLC自动控制系统的应用

分析了工频感应炉的工作原理、功率因数并联补偿原理和三相平衡原理．论述了ＰＬＣ 自动控制工频炉的功率因数补偿、三相平衡的过程．它对节省能源，缩短熔炼时间，改善电网功率因数有重要意义．     

一种策略冲突的消解方法

利用非单调逻辑编程技术,Chomicki等人提出了一种策略冲突消解方法.虽然该方法具有高效、可靠和良好的封装性等优点,但是它的应用域却受到限制.在Chomicki方法的基础上,首先定义了组合冲突,它比一般策略冲突涵义更广.其次,为消解该类冲突引入了一个优化解—最大行动接受集,并给出与之互补的最小行动取消集的重要特性.最后,利用基于稳定模型语义的权约束规则编程技术,建立消解组合冲突的逻辑程序.由于该程序始终拥有稳定模型,所以总是能够根据它的模型获得优化解.     

一种新型数字污水计量方法研究

介绍了污水流量计的现状,分析了MFC感应式数字水位传感器,提出了一种新的污水计量方法。     

诱导效应指数与含羰基有机化合物的标准生成热

利用诱导效应指数建立了一个含羰基有机化合物的标准生成热的简单计算方法。利用此法计算了一些含羰基有机化合物的标准生成热，３７个可比较值的平均偏差为１．４８ｋＪ·ｍｏｌ（－１）。